An ontology for mobile agents in the context of formal verificationSALEM DA SILVA, Paulo; VIEIRA DE MELO, Ana Cristina.Lecture notes in computer science. 2005, pp 1500-1516, issn 0302-9743, isbn 3-540-29736-7, 2Vol, 17 p.Conference Paper

MA 2002 : mobile agents (Barcelona, 22-25 October 2002)Suri, Niranjan.Lecture notes in computer science. 2002, issn 0302-9743, isbn 3-540-00085-2, X, 201 p, isbn 3-540-00085-2Conference Proceedings

Formal methods for mobile computing (Bertinoro, 26-30 April 2005, advanced lectures)Bernardo, Marco; Bogliolo, Alessandro.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-25697-0, VI, 270 p, isbn 3-540-25697-0Conference Proceedings

Bid generation and evaluation for MANPro-based real time schedulingSHIN, M; JUNG, M.International journal of production research. 2005, Vol 43, Num 18, pp 3821-3836, issn 0020-7543, 16 p.Article

Using a formal framework for agent system designCARCHIOLO, Vincenza; MALGERI, Michele; MANGIONI, Giuseppe et al.Lecture notes in computer science. 2001, pp 308-317, issn 0302-9743, isbn 3-540-42716-3Conference Paper

Agents for hand-held, mobile, or embedded devicesFININ, Tim.Lecture notes in computer science. 2002, issn 0302-9743, isbn 3-540-43858-0, p. 422Conference Paper

An abstract interpretation framework for analysing mobile ambientsLEVI, Francesca; MAFFEIS, Sergio.Lecture notes in computer science. 2001, pp 395-411, issn 0302-9743, isbn 3-540-42314-1Conference Paper

Exploiting transiently shared tuple spaces for location transparent code mobilityPICCO, Gian Pietro; BUSCHINI, Marco L.Lecture notes in computer science. 2002, pp 258-273, issn 0302-9743, isbn 3-540-43410-0Conference Paper

A fully abstract model for higher-order mobile ambientsCOPPO, Mario; DEZANI-CIANCAGLINI, Mariangiola.Lecture notes in computer science. 2002, pp 255-271, issn 0302-9743, isbn 3-540-43631-6Conference Paper

Einsatz von mobilen Agenten und XML zur Angebotsrecherche im Business-to-Consumer-Commerce = On the employment of mobile agents and XML for the comparision of offers in B2C-applicationsSIEGEMUND, Frank; CAP, Clemens H; HEUER, Andreas et al.Wirtschaftsinformatik. 2001, Vol 43, Num 2, pp 157-166, issn 0937-6429, 214 [12 p.]Article

QUIET: A Methodology for Autonomous Software Deployment using Mobile AgentsMANZOOR, Umar; NEFTI, Samia.Journal of network and computer applications. 2010, Vol 33, Num 6, pp 696-706, issn 1084-8045, 11 p.Article

Redundant movements in autonomous mobility: Experimental and theoretical analysisCHECHINA, Natalia; KING, Peter; TRINDER, Phil et al.Journal of parallel and distributed computing (Print). 2011, Vol 71, Num 10, pp 1278-1292, issn 0743-7315, 15 p.Article

Deterministic rendezvous in graphsDESSMARK, Anders; FRAIGNIAUD, Pierre; KOWALSKI, Dariusz R et al.Algorithmica. 2006, Vol 46, Num 1, pp 69-96, issn 0178-4617, 28 p.Conference Paper

Integrating the Havana agent platform into the existing web infrastructureMAHMOUD, Qusay H; YU, Leslie.International journal of wireless and mobile computing (Print). 2010, Vol 4, Num 4, pp 290-304, issn 1741-1084, 15 p.Article

Running agents in mobile devicesBAJO, Javier; CORCHADO, Juan M; FEMANDO CASTILLO, Luis et al.Lecture notes in computer science. 2006, pp 58-67, issn 0302-9743, isbn 3-540-45462-4, 1Vol, 10 p.Conference Paper

Empirical analysis of the connectivity threshold of mobile agents on the gridPEREZ, Xavier.Lecture notes in computer science. 2005, pp 253-264, issn 0302-9743, isbn 3-540-25920-1, 12 p.Conference Paper

Reachability analysis in boxed ambientsBUSI, Nadia; ZAVATTARO, Gianluigi.Lecture notes in computer science. 2005, pp 143-159, issn 0302-9743, isbn 3-540-29106-7, 1Vol, 17 p.Conference Paper

MobiGrid*: Framework for mobile agents on computer grid environmentsBARBOSA, Rodrigo M; GOLDMAN, Alfredo.Lecture notes in computer science. 2004, pp 147-157, issn 0302-9743, isbn 3-540-23423-3, 11 p.Conference Paper

A uniform reduction equivalence for process calculiZINING CAO.Lecture notes in computer science. 2004, pp 179-195, issn 0302-9743, isbn 3-540-23724-0, 17 p.Conference Paper

A mobile-agent platform and a game application specifications using M-UMLSALEH, Kassem; EL MORR, Christo; MOURTADA, Aref et al.Electronic library. 2004, Vol 22, Num 1, pp 32-42, issn 0264-0473, 11 p.Article

Spatialagents: integrating user mobility and program mobility in ubiquitous computing environmentsSATOH, Ichiro.Wireless communications and mobile computing (Print). 2003, Vol 3, Num 4, pp 411-423, issn 1530-8669, 13 p.Article

Mob: A scripting language for mobile agents based on a process calculusPAULINO, Hervé; LOPES, Luis; SILVA, Fernando et al.Lecture notes in computer science. 2003, pp 40-43, issn 0302-9743, isbn 3-540-40522-4, 4 p.Conference Paper

An improved forward integrity protocol for mobile agentsMING YAO; FOO, Ernest; KUN PENG et al.Lecture notes in computer science. 2003, pp 272-285, issn 0302-9743, isbn 3-540-20827-5, 14 p.Conference Paper

Physical mobility and logical mobility in ubiquitous computing environmentsSATOH, Ichiro.Lecture notes in computer science. 2002, pp 186-201, issn 0302-9743, isbn 3-540-00085-2, 16 p.Conference Paper

Empowering mobile software agentsROTH, Volker.Lecture notes in computer science. 2002, pp 47-63, issn 0302-9743, isbn 3-540-00085-2, 17 p.Conference Paper